Lecture 2 : Time , tense , and tense - logic ∗
نویسنده
چکیده
منابع مشابه
'Now' and 'Then' in Tense Logic
According to Hans Kamp and Frank Vlach, the two-dimensional tense operators “now” and “then” are ineliminable in quantified tense logic. This is often adduced as an argument against tense logic, and in favor of an extensional account that makes use of explicit quantification over times. The aim of this paper is to defend tense logic against this attack. It is shown that “now” and “then” are eli...
متن کاملThe Language of Special Relativity
The Special Theory of Relativity is often interpreted as forcing us to accept a conceptual revolution in our thinking about space, time, and the temporal distinction between past, present, and future. Most importantly, it is claimed that the notion of absolute simultaneity that is embodied in our pre-relativistic thinking about time must be abandoned. Thus, our natural language use of linguisti...
متن کاملThe Syntactic Expression of Tense Tim Stowell
2 Abstract In this article I defend the view that many central aspects of the semantics of tense are determined by independently-motivated principles of syntactic theory. I begin by decomposing tenses syntactically into a temporal ordering predicate (the true tense, on this approach) and two time-denoting arguments corresponding to covert a reference time (RT) argument and an eventuality time (...
متن کاملOF LAW EUI Working Papers
In this paper we investigate if it is possible and useful to reason about time within social/normative multi-agent systems (MAS) by taking into account the general guidelines of tense logic. We focus on the combination of special-purpose logics: we provide a formal account in which a minimal temporalization helps in reasoning about time in an abstract way. We also explore a new variant of deont...
متن کاملTense, propositions, and facts
There are two ways of incorporating temporal distinctions into a system of logic: tensed theories propose to expand standard logic with intensional tense operators; tenseless theories try to make do with the resources of extensional first-order logic, by using quantification over suitably chosen temporal entities, such as metaphysically basic time points or temporal parts. My concern in this pa...
متن کامل